Group-Oriented Modelling Tools with Heterogeneous Semantics
نویسندگان
چکیده
This paper describes an approach of how to support collaborative modelling tasks. The presented system, Cool Modes, implements the approach using “plug-in” reference frames encapsulating the semantics of the used models. Details on the extensibility of the system and the definition and interpretation of these reference frames and models in the framework are shown and the co-operation support using the underlying MatchMaker communication server is explained. Furthermore, two examples from the domains “System Dynamics modelling” and “Jewish Ceremonies” are given.
منابع مشابه
A Symbolic Semantics for a Calculus for Service - Oriented Computing 1
We introduce a symbolic characterisation of the operational semantics of COWS, a formal language for specifying and combining service-oriented applications, while modelling their dynamic behaviour. This alternative semantics avoids infinite representations of COWS terms due to the value-passing nature of communication in COWS and is more amenable for automatic manipulation by analytical tools, ...
متن کاملDeclarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملModelling Service-Oriented Computing with Temporal Symbolic Graph Transformation Systems
In this paper, we present a novel semantics for an essential aspect of service-oriented computing: the mechanism through which systems evolve through a symbiosis of state transformations and run-time service discovery and binding. The semantics is based on a new notion of temporal symbolic graph-transformation systems: in temporal symbolic graphs, interfaces can be specified using temporal logi...
متن کاملTowards interoperability of i* models using iStarML
Goal-oriented and agent-oriented modelling provides an effective approach to the understanding of distributed information systems that need to operate in open, heterogeneous and evolving environments. Frameworks, firstly introduced more than ten years ago, have been extended along language variants, analysis methods and CASE tools, posing language semantics and tool interoperability issues. Amo...
متن کاملObject-oriented modelling and specification using SHE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisation of a working system is expanding rapidly. To manage complexity and to shorten design cycles, industry is forced to look at system-level languages towards specification and design. The (formal) system-level modellin...
متن کامل